Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
231	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering
232	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
233	Typed Closure Conversion Preserves Observational Equivalence Amal Ahmed Matthias Blume Toyota Technological Institute at Chicago Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-07-16 01:16:46 Orbifold Programming language semantics Symbol Greek alphabet
234	Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz, JongHyup Lee✝, Maverick Woo, and David Brumley* Carnegie Mellon University * Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computing ALGOL 68 Assembly languages C programming language Decompiler Programming language theory Software engineering
235	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
236	Erlang 101 Google Doc Erlang? with buzzwords Erlang is a functional concurrency-oriented language with extremely low-weight userspace "processes", share-nothing messagepassing semantics, built-in distribution, and Add to Reading List Source URL: files.meetup.com Language: English - Date: 2013-06-05 00:51:49 NoSQL Erlang programming language Structured storage Distributed computing architecture Ericsson Erlang CouchDB Basho Technologies Pattern matching Computing Data management Concurrent computing
237	Microsoft Word[removed]All 12.doc Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-05-11 17:43:54 Formal methods Theoretical computer science Handout Humanitarian aid First-order logic Programming language ALGOL 68 Predicate transformer semantics Parallel computing Computing Software engineering Computer programming
238	A Revised Semantics for Rule Inheritance and Module Superimposition in ATL Dennis Wagelaar? Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium [removed], http://soft.v Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-06 03:21:00 Module Software Computing Programming language implementation Virtual machine Type system
239	F-ing Modules Andreas Rossberg Claudio V. Russo Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2009-11-15 17:53:59 Programming language semantics Greek alphabet Symbol
240	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics

UPDATE